A. John Power is a Theoretical Computer Scientist working at the University of Bath, England.
On coherence theorems in category theory and bicategory theory:
On flexible limits:
On PIE-limits:
On coherence theorems for tricategories:
On sketches internalized in 2-categories:
On monads in computer science, such as the (local) state monad:
On bireflective subcategories with ambidextrous adjoints:
On distributive laws between monads and comonads:
John Power, Hiroshi Watanabe, Distributivity for a monad and a comonad, Electronic Notes in Theoretical Computer Science 19 (1999) 102 [doi:10.1016/S1571-0661(05)80271-3, pdf]
John Power, Hiroshi Watanabe, Combining a monad and a comonad, Theoretical Computer Science 280 1–2 (2002) 137-162 [doi:10.1016/S0304-3975(01)00024-X]
On the history of categorical universal algebra via Lawvere theories and monads:
Last revised on July 18, 2024 at 16:06:58. See the history of this page for a list of all contributions to it.